School of Computer Science - PDFSEARCH.IO - Document Search Engine

School of Computer Science
Results: 3584

#	Item
871	Terminating tableau calculi for modal logic K with global counting operators Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky School of Computer Science, The University of Manchester, United Kingdom Michal Zawid Add to Reading List Source URL: www.mettel-prover.org Language: English - Date: 2014-04-01 08:48:03
872	Steve Oney Note: The content of this CV is out of date. This document is instead intended to be a Add to Reading List Source URL: from.so Language: English - Date: 2015-10-08 21:01:01 Humancomputer interaction Computer science Human communication Interpersonal communication Scott Hudson Association for Computing Machinery Human-Computer Interaction Institute ACM Symposium on User Interface Software and Technology Carnegie Mellon University Carnegie Mellon School of Computer Science Ambient intelligence Wizard of Oz experiment
873	Impact What is it and how do we create it? Joshua Knowles School of Computer Science The University of Manchester Add to Reading List Source URL: studentnet.cs.manchester.ac.uk Language: English - Date: 2015-04-14 06:21:34
874	Property Testing: A Learning Theory Perspective Dana Ron∗ School of EE Tel-Aviv University Ramat Aviv, Israel Add to Reading List Source URL: www.eng.tau.ac.il Language: English - Date: 2009-05-02 11:33:29 Machine learning Computational complexity theory Theoretical computer science Applied mathematics Learning Models of computation Property testing Decision tree model Sample complexity PP Probability distribution Time complexity
875	Louis Tessler [online version] [contact info redacted] Education NYU Polytechnic School of Engineering, Brooklyn NY BSc in Math and Physics, concentration in Nuclear Engineering, minor in Computer Science Add to Reading List Source URL: louistessler.com Language: English - Date: 2015-05-23 03:28:07
876	Generating Primes Eric Rowland Mathematics Department Tulane University, New Orleans, USA ↓ School of Computer Science Add to Reading List Source URL: thales.math.uqam.ca Language: English - Date: 2011-11-30 00:39:24
877	stav: text annotation visualiser Pontus Stenetorp∗, Goran Topic´ ∗, Sampo Pyysalo†‡, Sophia Ananiadou†‡ and Jun’ichi Tsujii†‡$ ∗ Department of Computer Science, University of Tokyo \| {†School of Co Add to Reading List Source URL: pontus.stenetorp.se Language: English - Date: 2015-12-23 11:28:10
878	Distributed Large Independent Sets in One Round On Bounded-independence Graphs? Magn´ us M. Halld´orsson and Christian Konrad ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland {christiank,mm Add to Reading List Source URL: www.christiankonrad.de Language: English - Date: 2015-08-09 08:03:52
879	Automated Synthesis of Tableau Calculi Renate A. Schmidt1 and Dmitry Tishkovsky1 School of Computer Science, The University of Manchester Abstract This paper presents a method for synthesising sound and complete tableau Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2009-05-14 08:18:53
880	Secure High-Rate Transaction Processing in Bitcoin Yonatan Sompolinsky1 and Aviv Zohar1,2 1 School of Engineering and Computer Science, Add to Reading List Source URL: fc15.ifca.ai Language: English - Date: 2015-01-11 00:33:39 Cryptocurrencies Bitcoin Alternative currencies Computing E-commerce Currency Bitcoin network Hashing B-tree Blockchain Cryptographic hash function Draft:Viccoin:APeer-to-PeerDigital Currency System

UPDATE